DEF=int-list
TESTDIR=.
KOMPILE_FLAGS=--syntax-module INT-LIST

include ../../../include/kframework/ktest.mak
